スマリヤン 数理論理学講義 下巻
Smullyanの初等形式体系についてのメモもある